Data Souvenirs and Reflection in the Home Ryan Aipperspach1,2 , Ben Hooker2 , Allison Woodruff2 , and John Canny1 1 Berkeley Institute of Design, Computer Science Division, University of California, Berkeley, USA

Source URL: www.allisonwoodruff.com

A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA , WWW home page: http://cs.utexas.edu/users/moore

Source URL: vstte.ethz.ch

Éric Leblond 44 rue Bayen ParisFRANCE Email: URL: https://home.regit.org

Source URL: home.regit.org

• Software
• System software
• Utility software
• NuFW
• Computer network security
• Discontinued software
• Virtual private networks
• Netfilter
• Intrusion detection systems
• Layer 2 Tunneling Protocol
• Ipchains
• Firewall

Certicom AMI 7000 Series Security Appliances for Advanced Metering Infrastructure The Need for Security

Source URL: www.certicom.com

• Cryptography
• Security
• Elliptic curve cryptography
• Public-key cryptography
• Building automation
• Home automation
• BlackBerry Limited
• ZigBee
• Ami
• Smart grid
• Computer security
• ECC patents

Embedding Internet Technology for Home Automation Matthias Kovatsch, Markus Weiss, Dominique Guinard Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland {kovatsch,mweiss,dguinard}@inf.ethz.ch

Source URL: www.vs.inf.ethz.ch

• Computing
• Technology
• Computer networking
• Building automation
• Home automation
• Wireless networking
• IPv6
• 6LoWPAN
• Web of Things
• Smart device
• ZigBee
• Mashup

The Heterogeneous Home Ryan Aipperspach Berkeley Institute of Design Computer Science Division University of California Berkeley, CAUSA

Source URL: www.allisonwoodruff.com

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Diane T. Rover Iowa State University; Professor, Electrical & Computer Engineering Durham Hall, Ames, IAPhone: ; Email: www.eng.iastate.edu/~drover/ Professional Preparation

Source URL: home.eng.iastate.edu

Sentient∗ Networks: A New Dimension in Network Capability† B. S. Manoj, R. Hegde, B. D. Rao, and R. R. Rao Department of Electrical and Computer Engineering University of California San Diego San Diego, California 92

Source URL: home.iitk.ac.in

EUROSPEECHGENEVA Segmentation of speech into syllable-like units T.Nagarajan, Hema A. Murthy and Rajesh M. Hegde Department of Computer Science and Engineering Indian Institute of Technology, Madras

Source URL: home.iitk.ac.in